Finite Kripke models of ${\rm HA}$ are locally ${\rm PA}$.
نویسندگان
چکیده
منابع مشابه
Identifying an Honest ${\rm EXP}^{\rm NP}$ Oracle Among Many
We provide a general framework to remove short advice by formulating the following computational task for a function f : given two oracles at least one of which is honest (i.e. correctly computes f on all inputs) as well as an input, the task is to compute f on the input with the help of the oracles by a probabilistic polynomial-time machine, which we shall call a selector. We characterize the ...
متن کاملBank ownership, rm value and rm capital structure in Europe*
We investigate the role of banks in the ownership structure of non- nancial rms. Distinguishing between banks and other institutional investors as shareholders, we examine the relationship between nancial institution ownership and the performance of the rms in which they hold equity. We control explicitly for the capital structure decision of the rms and the ownership decision of nancial i...
متن کاملA RM-Polar Codes
Introduction: Polar codes are a major breakthrough in coding theory [1]. They can achieve Shannon capacity with a simple encoder and a simple successive cancellation (SC) decoder, both with low complexity of the order of ( ) N N log O , where N is the code block size. But for short and moderate lengths, the error rate performance of polar codes with the SC decoding is not as good as LDPC or tur...
متن کاملStretching ̄rm and brand reputation
I consider an adverse selection model of ̄rm reputation. Each ̄rm is characterized by an exogenously given quality level, which is the ̄rm's private information and applies to any product it sells. Consumers observe the performance of the ̄rm's products, which is positively related to the ̄rm's quality level. The ̄rm's reputation is given by the consumers' posterior on the ̄rm's quality level given th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636765